翻訳と辞書 Words near each other ・ Michael J. Perkins ・ Michael J. Perry ・ Michael J. Petrides School ・ Michael J. Piore ・ Michael J. Pollard ・ Michael J. Powell ・ Michael J. Preston ・ Michael J. Prince ・ Michael J. Quigley ・ Michael J. Bragman ・ Michael J. Bronson ・ Michael J. Buckley ・ Michael J. Burg ・ Michael J. Byrnes ・ Michael J. Byron ・ Michael J. C. Gordon ・ Michael J. Callahan ・ Michael J. Callahan (Entrepreneur) ・ Michael J. Cantwell ・ Michael J. Carberry ・ Michael J. Carrasquillo ・ Michael J. Cinquemani ・ Michael J. Cleary ・ Michael J. Clouse ・ Michael J. Coffey ・ Michael J. Colacurcio ・ Michael J. Colburn ・ Michael J. Connolly ・ Michael J. Connor ・ Michael J. Conrad Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Michael J. C. Gordon ： ウィキペディア英語版 Michael J. C. Gordon Michael John Caldwell "Mike" Gordon FRS (born 28 February 1948) is a British computer scientist. Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. There has been a series of international conferences on the HOL system, TPHOLs. The first three were informal users' meetings with no published proceedings. The tradition now is for an annual conference in a continent different from the location of the previous meeting. From 1996, the scope broadened to cover all theorem proving in higher-order logics. Gordon was born in Ripon, Yorkshire, England. He gained his Ph.D. at University of Edinburgh in 1973 with a thesis entitled ''Evaluation and Denotation of Pure LISP Programs''. He has worked at the Cambridge University Computer Laboratory since 1981, initially as a Lecturer and moving to Reader in 1988 and Professor in 1996. He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on ''Tools and Techniques for Verification of System Infrastructure'' was held there in honour of his 60th birthday.〔(【引用サイトリンク】 title=Tools and Techniques for Verification of System Infrastructure )〕 ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Michael J. C. Gordon」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.